AN APPROACH TO PROGRAM TESTING.HUANG JC.1975; COMPUTG SURV.; U.S.A.; DA. 1975; VOL. 7; NO 3; PP. 113-128; BIBL. 19 REF.Article

DE L'OPTIMISATION DES PROGRAMMES.EXEL M.1975; ; S.L.; DA. 1975; PP. (238P.); BIBL. 7 P. 1/2; (THESE DOCT. 3E CYCLE; UNIV. SCI. MED. GRENOBLE)Thesis

PROGRAM GRAPHS, AN ALGEBRA, AND THEIR IMPLICATION FOR PROGRAMMING.PAIGE MR.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 286-291; BIBL. 17 REF.Article

AN ALGORITH FOR TRACING LIVE VARIABLES BASED ON A STRAIGHTENED PROGRAM GRAPH.BEATTY JC.1975; INTERNATION. J. COMPUTER MATH.; U.S.A.; DA. 1975; VOL. 5; NO 2; PP. 97-108; BIBL. 7 REF.Article

COMPUTATION GRAPHS.BAUER MA.1976; KYBERNETES; G.B.; DA. 1976; VOL. 5; NO 1; PP. 49-54; BIBL. 11 REF.Article

OPTIMISATION DU CODE DANS LES MACHINES DE VON NEWMANNMATWIN S.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 204; PP. 1-36; ABS. ANGL. RUSSE; BIBL. 5 REF.Serial Issue

DATA FLOW ANALYSIS OF PROGRAM NETSONAGA K; WAI KAI CHEN.1982; J. FRANKLIN INST.; ISSN 0016-0032; USA; DA. 1982; VOL. 313; NO 4; PP. 219-231; BIBL. 7 REF.Article

SYMBOLIC EVALUATION METHODS: IMPLEMENTATIONS AND APPLICATIONSCLARKE LA; RICHARDSON DJ.1981; COMPUTER PROGRAM TESTING, SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 65-102; BIBL. 3 P.Conference Paper

SOFTWARE METRICS FOR AIDING PROGRAM DEVELOPMENT AND DEBUGGINGSCHNEIDEWIND NF.1979; NATIONAL COMPUTER CONFERENCE/1979/NEW YORK NY; USA; MONTVALE: AFIPS PRESS; DA. 1979; PP. 989-994; BIBL. 6 REF.Conference Paper

THEORETISCHE GRUNDLAGEN DES AUFBAUES ASSOZIATIVER RECHENSTRUKTUREN = FONDEMENTS THEORIQUES DE LA CONSTRUCTION DE STRUCTURES ASSOCIATIVES DE CALCULATEURSGRELL F; KOKAEV OG; TEMIRCHANOV TE et al.1981; NACHRICHTENTECH., ELEKTRON.; ISSN 0323-4657; DDR; DA. 1981; VOL. 31; NO 6; PP. 251-254; BIBL. 11 REF.Article

DECOMPOSITION DU GRAPHE D'UN PROGRAMME PERMETTANT D'ETUDIER LA PERMUTABILITE DES GROUPES D'INSTRUCTIONS.ADAM A; LAURENT JP.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 131-146; BIBL. 5 REF.Conference Paper

SOME PROPERTIES DERIVED FROM STRUCTURAL ANALYSIS OF PROGRAM GRAPH MODELSNEGRINI RM; SAMI M.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 2; PP. 172-178; BIBL. 13 REF.Article

PROGRAM GRAPHS AND EXECUTION BEHAVIOROLDEHOEFT RR.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 1; PP. 103-108; BIBL. 4 REF.Article

ZUR STRUKTURIERUNG DER SPEZIFAKATIONSTABELLEN VON UEBERSETZERPROGRAMMEN FUER BLOCKORIENTIERTE PROGRAMMIERSPRACHEN. = STRUCTURATION DES TABLES DE SPECIFICATIONS DES PROGRAMMES DE TRADUCTION POUR LANGAGES DE PROGRAMMATION ORIENTES VERS UN PROBLEMEOTTER W; LOEPER H; GRABNER H et al.1975; WISSENSCH. Z. TECH. UNIV. DRESDEN; DTSCH.; DA. 1975; VOL. 24; NO 5; PP. 965-971; BIBL. 8 REF.Article

SIZE BOUNDS FOR SUPERCONCENTRATORSLEV G; VALIANT LG.1983; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1983; VOL. 22; NO 3; PP. 233-251; BIBL. 22 REF.Article

PROGRAMS AS PARTIAL GRAPHS I: FLOW EQUIVALENCE AND CORRECTNESSSCHMIDT G.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 5; NO 1; PP. 1-25; BIBL. 34 REF.Article

MISE EN EVIDENCE DE RELATIONS D'ORDRE DYNAMIQUE ENTRE LES INSTRUCTIONS D'UN PROGRAMME.ADAM A; LAURENT JP.1976; IN: PANORAMA NOUV. INF. FRANCE. CONGR. AFCET; GIF-SUR-YVETTE; 1976; PARIS; ITC; DA. 1976; VOL. 1; PP. 169-179; BIBL. 6 REF.Conference Paper

UNE SEMANTIQUE POUR LES ARBRES NON DETERMINISTESBOUDOL G.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 147-161; BIBL. 24 REF.Conference Paper

LAURA, A SYSTEM TO DEBUG STUDENT PROGRAMSADAM A; LAURENT JP.1980; ARTIF. INTELL.; ISSN 0374-2539; NLD; DA. 1980; VOL. 15; NO 1-2; PP. 75-122; BIBL. 43 REF.Article

TRIFORM PROGRAMSCROCKETT DW.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 6; PP. 344-350; BIBL. 9 REF.Article

ON PATH COVER PROBLEMS IN DIGRAPHS AND APPLICATIONS TO PROGRAM TESTINGNTAFOS SC; HAKIMI SL.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 5; PP. 520-529; BIBL. 19 REF.Article

APPLICATION OF PROGRAM GRAPHS AND COMPLEXITY ANALYSIS TO SOFTWARE DEVELOPMENT AND TESTINGSCHNEIDEWIND NF.1979; I.E.E.E. TRANS. RELIABIL.; USA; DA. 1979; VOL. 28; NO 3; PP. 192-198; BIBL. 10 REF.Article

ON PARTITIONING PROGRAM GRAPHS.PAIGE MR.1977; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1977; VOL. 3; NO 6; PP. 386-393; BIBL. 15 REF.Article

RECURSION STRUCTURE SIMPLIFICATION.STRONG HR JR; MAGGIOLO SCHETTINI A; ROSEN BK et al.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 3; PP. 307-320; BIBL. 17 REF.Article

PATHLISTINGS APPLIED TO DATA FLOW ANALYSISJAYASHREE RAMANATHAN; KENNEDY K.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 3; PP. 253-273; BIBL. 25 REF.Article